$\forall$${\it the\_w}$:World, $l$:IdLnk, $t$, ${\it t'}$:$\mathbb{N}$. match($l$;$t$;${\it t'}$) $\in$ $\mathbb{B}$